A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking

Improved Algorithms for the Automata-Based Approach to Model-Checking

We propose and evaluate new algorithms to solve the universality and language inclusion problems for nondeterministic Büchi automata. To obtain those new algorithms, we establish the existence of pre-orders that can be exploited to efficiently evaluate fixed points on the automata defined during the complementation step (that we keep implicit in our approach). We evaluate the performance of the...

mortality forecasting based on lee-carter model

over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...

An approach based on statistical spline model for Volterra-Fredholm integral equations

‎In this paper‎, ‎an approach based on statistical spline model (SSM) and collocation method is proposed to solve Volterra-Fredholm integral equations‎. ‎The set of collocation nodes is chosen so that the points yield minimal error in the nodal polynomials‎. ‎Under some standard assumptions‎, ‎we establish the convergence property of this approach‎. ‎Numerical results on some problems are given...

A New Model for Text Coherence Evaluation using Statistical Characteristics

Formal Verification of Probabilistic SystemC Models with Statistical Model Checking

Transaction-level modeling with SystemC has been very successful in describing the behavior of embedded systems by providing high-level executable models, in which many of them have inherent probabilistic behaviors, e.g., random data and unreliable components. It thus is crucial to have both quantitative and qualitative analysis of the probabilities of system properties. Such analysis can be co...